' t Report on the lOth IFIP Congress September , 1986 Doc . 860911 fpb TR 86 - 021

Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study

and the management of linguistically expressed uncertainty. Int.

Learning to Live in the Knowledge Society, IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference, September 7-10, 2008, Milano, Italy

Program Development as a Social Activity

the Dublin 1986 World Congress of IFIP (The International Federation of Information Processing Societies). It has served as a summing up of the work I had done in system development research together with colleagues and team members up to the mid 1980s. Since then, I have professionally mainly been working in objectoriented language design. Politically, the years 1988-1994 were consumed by my l...

Technical Report TR - 2004 - 021 Density Theorems and Extremal Hypergraph Problems

We present alternative proofs of density versions of some combinatorial partition theorems originally obtained by H. Furstenberg and Y. Katznelson. These proofs are based on an extremal hypergraph result which was recently independently obtained by W. T. Gowers and B. Nagle, V. Rödl, M. Schacht, J. Skokan by extending Szemerédi’s Regularity Lemma to hypergraphs.

Logic Programming: The Evolving Algebra Approach

It is with pleasure that I have accepted the invitation to report on the use of evolving algebras in the area of logic programming. Because of the time and space limits, I refer those interested in technical developments to the two Prolog and WAM papers by Dean Rosenzweig and myself [BoeRos94a,94b]. All references are to [?] 2. The best I can do here is to sketch the development of ideas in my ...